Nuprl Lemma : comb_for_iff_wf 9,38

(A,B,zA  B (True) 
latex


ProofTree


Definitions, t  T, x:AB(x), T
Lemmastrue wf, squash wf, iff wf

origin